#define _CRT_SECURE_NO_WARNINGS
#include <stdio.h>
//int main()
//{
//    int n = 0;
//    int k = 0;
//    scanf("%d %d", &n, &k);
//    int count = 0;
//    int i = 0;
//    int j = 0;
//    for (i = k; i <= n; i++)
//    {
//        for (j = k; j <= n; j++)
//        {
//            if (i % j >= k)
//            {
//                count++;
//            }
//        }
//    }
//    printf("%d", count);
//    return 0;
//}

#include <stdio.h>
int main()
{
    long int n = 0;
    int k = 0;
    scanf("%d %d", &n, &k);
    long int count = 0;
    int y = 0;
    if (k == 0)
    {
        count = n * n;
    }
    else
    {
        for (y = k + 1; y <= n; y++)
        {
            int left = k;
            int right = y - 1;
            while (left <= n && right <= n)
            {
                count += right - left + 1;
                left += y;
                right += y;
            }
            if (left <= n)
            {
                count += n - left + 1;
            }
            else
            {
                continue;
            }
        }
    }
    printf("%ld", count);
    return 0;
}